In computer science, a loop invariant is an invariant used to prove properties of loops and, by extension, algorithms employing loops (usually correctness). Informally, a loop invariant is a statement of the conditions that should be true on entry into a loop and that are guaranteed to remain true on every iteration of the loop.
loop invariantとは意味:《コ》ループ不変 loop invariant перевод:ЯП инвариант цикла (утверждение (assertion), которое должно быть истинным при первом выполнении тела цикла и сохранять это значение до момента окончания цикла)